Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
51	The Theory behind TheoryMine Alan Bundy School of Informatics, University of Edinburgh, Edinburgh EH8 9AB, Edinburgh, Scotland. Lucas Dixon Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-11 12:18:50 Computability theory Mathematics Mathematical logic Theoretical computer science Recursion Theory of computation Primitive recursive function Recursive data type Mutual recursion Automated theorem proving Theorem Presentation of a group
52	Microsoft PowerPoint - lecture_Yop_spring05v2.ppt Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-13 08:49:07 Mathematics Algebra Computability theory Linear algebra Spectral theory Theoretical computer science Subroutines Recursion Recurrence relation Lambda calculus Spectral theory of ordinary differential equations
53	Centrum voor Wiskunde en Informatica Alma-0: An imperative language that supports declarative programming R. Apt, J. Brunekreef, V. Partington and A. Schaerf Probability, Networks and Algorithms (PNA) Add to Reading List Source URL: www.klomp.org Language: English - Date: 2015-01-25 16:44:17 Software engineering Computer programming Programming paradigms Theoretical computer science Programming idioms Computability theory Alma-0 Backtracking Logic programming Recursion Prolog Imperative programming
54	A Note on the Malleability of the El Gamal Cryptosystem Douglas Wikstr¨om Swedish Institute of Computer Science (SICS) Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:38:02 Mathematical analysis Mathematics Functional analysis IP Distribution Computability theory Linear temporal logic operator
55	Chapter 2 A Static Checker for Safe Pattern Matching in Haskell Neil Mitchell and Colin Runciman 2.1 Abstract: A Haskell program may fail at runtime with a pattern-match error if Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Recursion Type theory Computability theory Theoretical computer science Fold Algebraic data type Pattern matching Constraint logic programming
56	A computable axiomatisation of the topology of R and C Paul Taylor 6 August 2009 Add to Reading List Source URL: www.paultaylor.eu Language: English - Date: 2009-08-10 10:52:15 Mathematics Mathematical logic Computability theory Logic Theory of computation Computable number Structure Computable function Sigma-algebra
57	Transformation rules from UML4MBT meta-model to SMT meta-model for model animation Jérôme Cantenot Fabrice Ambert Add to Reading List Source URL: st.inf.tu-dresden.de Language: English - Date: 2012-09-25 06:20:13 Software engineering Theoretical computer science Mathematical logic Formal methods Computability theory Lambda calculus Subroutines Satisfiability modulo theories XC HindleyMilner type system First-order logic Recursion
58	The Fusion Machine (extended abstract) Philippa Gardner1 , Cosimo Laneve2 , and Lucian Wischik2 1 2 Add to Reading List Source URL: www.wischik.com Language: English - Date: 2002-09-03 06:29:14 Theoretical computer science Computability theory Process calculi -calculus Lambda calculus Process calculus Integration by substitution Limit of a function Substitution Heat equation Join-pattern
59	Inverse Problems and Imaging doi:ipiVolume 3, No. 4, 2009, 599–624 Add to Reading List Source URL: www.siltanen-research.net Language: English - Date: 2016-05-04 08:49:38 Generalized functions Computability theory operator Continuous function Distribution
60	Computing Fundamentals Functions Salvatore Filippone–2015 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2015-04-09 11:32:40 Algebra Calculus Syntax Variable Computability theory -recursive function Frchet derivative